Model theory

Results: 13417



#Item
491Physics / Supersymmetry / Particle physics / Physics beyond the Standard Model / Theoretical physics / Dark matter / Lightest Supersymmetric Particle / Supergravity / R-parity / Proton decay / Gaugino / Minimal Supersymmetric Standard Model

Sneutrino or Stau as the Lightest Supersymmetric Particle in mSUGRA with R-parity Violation Sebastian Grab University of Bonn Germany

Add to Reading List

Source URL: theory.fnal.gov

Language: English - Date: 2015-04-03 15:19:44
492Terrorism / Prevention / International law / National security / Safety / FO / Finite model theory / Shall and will / Definitions of terrorism / Counter-terrorism / Security

TOP SECREHHOFORN May 22, 201 3 PROCEDURES FOR APPROVJNG DIR ECT ACTI ON AGAJNST TERRORIST TARG ETS LOCATED O UTSID E THE UN ITED STA TES AN D AREAS OF ACTIV E HOSTILITI ES This Presidential Policy Guidance (PPG) establi

Add to Reading List

Source URL: www.heise.de

Language: English - Date: 2016-08-08 02:52:46
493Mathematics / Computing / Mathematical logic / Database theory / Complexity classes / Boolean algebra / Algebraic structures / Relational model / Datalog / Relational algebra / Tuple / FO

Circuits for Datalog Provenance Daniel Deutch Tova Milo Tel Aviv University

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2013-12-16 04:18:28
494Logic / Mathematical logic / Mathematics / Predicate logic / Grammar / Model theory / Formal languages / First-order logic / Predicate / FO / Argument / Resolution

Applied Ontology–0 IOS Press 1 Vague size predicates

Add to Reading List

Source URL: www.thomasebittner.com

Language: English - Date: 2012-04-30 16:04:47
495Economics / Heterogeneity in economics / Macroeconomic model / Economic model / Agent / Macroeconomics / General equilibrium theory / Heterogeneity / New Keynesian economics / Economic equilibrium / Representative agent

Heterogeneous Agent Models in Macroeconomics Michael Reiter Institute for Advanced Studies, Vienna VGSE, Summer 2012 The aim of the course is to study the most important models with heterogeneous agents and incomplete ma

Add to Reading List

Source URL: www.vgse.at

Language: English - Date: 2012-03-05 04:24:52
496Theoretical computer science / Logic in computer science / Programming language semantics / Communications protocol / Data transmission / Model theory / Operational semantics / Models of computation

A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un

Add to Reading List

Source URL: casta.unibe.ch

Language: English - Date: 2012-07-02 10:13:08
497Logic programming / Mathematical logic / Theoretical computer science / Logic / Order theory / Model theory / Stable model semantics / Path ordering / Negation as failure / FO

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-17 20:33:04
498Statistics / Psychometrics / Education / Item response theory / Programme for International Student Assessment / Rasch model / Equating / Factor analysis / F-test

PISA test format assessment and the local independence assumption Christian Monseur, Ariane Baye, Dominique Lafontaine, and Valérie Quittre University of Liège, Liège, Belgium

Add to Reading List

Source URL: ierinstitute.org

Language: English - Date: 2012-01-04 07:01:18
499Graph theory / Mathematics / Tree / Degree / Discrete mathematics / Mathematical analysis / Table of stars with Bayer designations / Symbol

On a geometrization of the Chung-Lu model for complex networks Nikolaos Fountoulakis School of Mathematics University of Birmingham Edgbaston, B15 2TT

Add to Reading List

Source URL: web.mat.bham.ac.uk

Language: English - Date: 2014-11-26 08:29:30
500Physics / Particle physics / Standard Model / Elementary particles / Quantum field theory / Composite Higgs models / Higgs boson / Top quark / Grand Unified Theory / Quark / Boson / Hierarchy problem

Composite Higgs models with “the works” James Barnard with Tony Gherghetta, Tirtha Sankar Ray, Andrew Spray and Callum Jones With the recent discovery of the Higgs boson, all elementary

Add to Reading List

Source URL: theory.fnal.gov

Language: English - Date: 2015-04-03 15:23:30
UPDATE